<html>
<head><meta charset="utf-8"><title>why `hir::print` exists? · t-compiler · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/index.html">t-compiler</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/why.20.60hir.3A.3Aprint.60.20exists.3F.html">why `hir::print` exists?</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="173577987"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/why%20%60hir%3A%3Aprint%60%20exists%3F/near/173577987" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> matklad <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/why.20.60hir.3A.3Aprint.60.20exists.3F.html#173577987">(Aug 19 2019 at 20:49)</a>:</h4>
<p>So, yeah, I am looking at <code>hir::print</code> and looks like what it does is pretty-printing of hir code <em>as if</em> it were an ast. Why do we need this? From my very limited understanding, hir is already an intermediate language, divorced from the surface syntax, so printing it in the original surface syntax doesn't make much sense to me. Like, would personally use s-expressions or just <code>#[derive(Debug)]</code> for seeing IRs</p>



<a name="173578184"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/why%20%60hir%3A%3Aprint%60%20exists%3F/near/173578184" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> centril <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/why.20.60hir.3A.3Aprint.60.20exists.3F.html#173578184">(Aug 19 2019 at 20:52)</a>:</h4>
<p>It exists for debugging basically</p>



<a name="173578223"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/why%20%60hir%3A%3Aprint%60%20exists%3F/near/173578223" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> centril <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/why.20.60hir.3A.3Aprint.60.20exists.3F.html#173578223">(Aug 19 2019 at 20:52)</a>:</h4>
<p><code>#[derive(Debug)]</code>isn't helpful since it prints the IDs</p>



<a name="173578378"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/why%20%60hir%3A%3Aprint%60%20exists%3F/near/173578378" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> centril <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/why.20.60hir.3A.3Aprint.60.20exists.3F.html#173578378">(Aug 19 2019 at 20:54)</a>:</h4>
<blockquote>
<p>hir code as if it were an ast.</p>
</blockquote>
<p>HIR is the real AST; <code>syntax::ast</code> is a CST</p>



<a name="173578529"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/why%20%60hir%3A%3Aprint%60%20exists%3F/near/173578529" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> centril <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/why.20.60hir.3A.3Aprint.60.20exists.3F.html#173578529">(Aug 19 2019 at 20:56)</a>:</h4>
<p>I'd use something like RON or such; not a fan of lisp or s-expressions ;)</p>



<a name="174261165"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/why%20%60hir%3A%3Aprint%60%20exists%3F/near/174261165" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/why.20.60hir.3A.3Aprint.60.20exists.3F.html#174261165">(Aug 27 2019 at 19:16)</a>:</h4>
<p>Yeah, I think it's a historical artifact for the most part. I think we should be moving towards more regular output -- <code>derive(Debug)</code> seems pretty ok to me.</p>



<a name="177916806"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/why%20%60hir%3A%3Aprint%60%20exists%3F/near/177916806" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> centril <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/why.20.60hir.3A.3Aprint.60.20exists.3F.html#177916806">(Oct 11 2019 at 15:14)</a>:</h4>
<p><span class="user-mention" data-user-id="116009">@nikomatsakis</span> would you be OK with a PR that just rips out HIR pretty? it's a maintenance burden unfortunately</p>



<a name="177916932"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/why%20%60hir%3A%3Aprint%60%20exists%3F/near/177916932" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> eddyb <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/why.20.60hir.3A.3Aprint.60.20exists.3F.html#177916932">(Oct 11 2019 at 15:16)</a>:</h4>
<p>maybe raise in design meeting or use FCP merge :P?</p>



<a name="177917066"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/why%20%60hir%3A%3Aprint%60%20exists%3F/near/177917066" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> centril <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/why.20.60hir.3A.3Aprint.60.20exists.3F.html#177917066">(Oct 11 2019 at 15:17)</a>:</h4>
<p><span class="user-mention" data-user-id="119009">@eddyb</span> FCP merge seems least amount of work ^^</p>



<a name="177919918"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/why%20%60hir%3A%3Aprint%60%20exists%3F/near/177919918" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/why.20.60hir.3A.3Aprint.60.20exists.3F.html#177919918">(Oct 11 2019 at 15:42)</a>:</h4>
<p>I think I'd be ok with it <em>BUT</em> I actually think we <em>do</em> need someone to champion a "reform" of how we do debug/display output</p>



<a name="177919962"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/why%20%60hir%3A%3Aprint%60%20exists%3F/near/177919962" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/why.20.60hir.3A.3Aprint.60.20exists.3F.html#177919962">(Oct 11 2019 at 15:43)</a>:</h4>
<p>I really hate it that e.g. <code>RUSTC_LOG=rustc_typeck</code> tends to ICE the compiler these days</p>



<a name="177919998"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/why%20%60hir%3A%3Aprint%60%20exists%3F/near/177919998" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/why.20.60hir.3A.3Aprint.60.20exists.3F.html#177919998">(Oct 11 2019 at 15:43)</a>:</h4>
<p>At this point I wish that <code>{:?}</code> were basically <em>just</em> <strong>straight-up</strong> debug output, except with minor additions (e.g., DefId should dump the def-path)</p>



<a name="177920014"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/why%20%60hir%3A%3Aprint%60%20exists%3F/near/177920014" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/why.20.60hir.3A.3Aprint.60.20exists.3F.html#177920014">(Oct 11 2019 at 15:43)</a>:</h4>
<p>(<code>{}</code> would stay basically what it is today)</p>



<a name="177920069"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/why%20%60hir%3A%3Aprint%60%20exists%3F/near/177920069" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/why.20.60hir.3A.3Aprint.60.20exists.3F.html#177920069">(Oct 11 2019 at 15:44)</a>:</h4>
<p>I suspect that doing <em>literally</em> what I wrote would be a <em>bit</em> too much, but I think i'd want something very close to it</p>



<a name="177920081"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/why%20%60hir%3A%3Aprint%60%20exists%3F/near/177920081" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/why.20.60hir.3A.3Aprint.60.20exists.3F.html#177920081">(Oct 11 2019 at 15:44)</a>:</h4>
<p>this <em>does</em> feel design meeting worthy</p>



<a name="177920959"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/why%20%60hir%3A%3Aprint%60%20exists%3F/near/177920959" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Zoxc <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/why.20.60hir.3A.3Aprint.60.20exists.3F.html#177920959">(Oct 11 2019 at 15:54)</a>:</h4>
<p>It is sometimes useful to print HIR and treat it as AST (and possibly compile it as AST) to show desugaring, etc.</p>



<a name="177921500"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/why%20%60hir%3A%3Aprint%60%20exists%3F/near/177921500" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/why.20.60hir.3A.3Aprint.60.20exists.3F.html#177921500">(Oct 11 2019 at 16:00)</a>:</h4>
<p>Yes, this is true</p>



<a name="177921518"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/why%20%60hir%3A%3Aprint%60%20exists%3F/near/177921518" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> centril <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/why.20.60hir.3A.3Aprint.60.20exists.3F.html#177921518">(Oct 11 2019 at 16:00)</a>:</h4>
<p>but HIR is also not entirely representable in AST</p>



<a name="177921520"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/why%20%60hir%3A%3Aprint%60%20exists%3F/near/177921520" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> centril <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/why.20.60hir.3A.3Aprint.60.20exists.3F.html#177921520">(Oct 11 2019 at 16:00)</a>:</h4>
<p>which makes things weird</p>



<a name="177921524"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/why%20%60hir%3A%3Aprint%60%20exists%3F/near/177921524" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/why.20.60hir.3A.3Aprint.60.20exists.3F.html#177921524">(Oct 11 2019 at 16:01)</a>:</h4>
<p>I certainly use it to figure out (e.g.) what the desugared form of <code>format!</code> is</p>



<a name="177921536"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/why%20%60hir%3A%3Aprint%60%20exists%3F/near/177921536" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/why.20.60hir.3A.3Aprint.60.20exists.3F.html#177921536">(Oct 11 2019 at 16:01)</a>:</h4>
<p>Not sure if I could do that via AST dumping</p>



<a name="177921548"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/why%20%60hir%3A%3Aprint%60%20exists%3F/near/177921548" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/why.20.60hir.3A.3Aprint.60.20exists.3F.html#177921548">(Oct 11 2019 at 16:01)</a>:</h4>
<p>That said, I'd also be happy with a "semi-readable" tree format of HIR for such things I think</p>



<a name="177921557"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/why%20%60hir%3A%3Aprint%60%20exists%3F/near/177921557" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> centril <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/why.20.60hir.3A.3Aprint.60.20exists.3F.html#177921557">(Oct 11 2019 at 16:01)</a>:</h4>
<p><span class="user-mention" data-user-id="116009">@nikomatsakis</span> <code>format!</code> expands to syntax so you should be able to via <code>-Z unpretty=expanded</code></p>



<a name="177921564"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/why%20%60hir%3A%3Aprint%60%20exists%3F/near/177921564" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/why.20.60hir.3A.3Aprint.60.20exists.3F.html#177921564">(Oct 11 2019 at 16:01)</a>:</h4>
<p>yes, I was thinking the same</p>



<a name="177921574"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/why%20%60hir%3A%3Aprint%60%20exists%3F/near/177921574" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/why.20.60hir.3A.3Aprint.60.20exists.3F.html#177921574">(Oct 11 2019 at 16:01)</a>:</h4>
<p>not sure what the right flag would be but probably there is one</p>



<a name="177921651"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/why%20%60hir%3A%3Aprint%60%20exists%3F/near/177921651" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> centril <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/why.20.60hir.3A.3Aprint.60.20exists.3F.html#177921651">(Oct 11 2019 at 16:02)</a>:</h4>
<div class="codehilite"><pre><span></span>centril@centrilnas2:~/programming/rust/rust-gamma$ rustc foo.rs -Z unpretty=
error: argument to `unpretty` must be one of `normal`, `expanded`, `flowgraph[,unlabelled]=&lt;nodeid&gt;`, `identified`, `expanded,identified`, `everybody_loops`, `hir`, `hir,identified`, `hir,typed`, `hir-tree`, `mir` or `mir-cfg`; got
</pre></div>



<a name="177921707"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/why%20%60hir%3A%3Aprint%60%20exists%3F/near/177921707" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> centril <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/why.20.60hir.3A.3Aprint.60.20exists.3F.html#177921707">(Oct 11 2019 at 16:02)</a>:</h4>
<p><span class="user-mention" data-user-id="116009">@nikomatsakis</span> I'm thinking we should unpretty HIR via a RON format or something... sorta <code>Debug</code></p>



<a name="177921715"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/why%20%60hir%3A%3Aprint%60%20exists%3F/near/177921715" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/why.20.60hir.3A.3Aprint.60.20exists.3F.html#177921715">(Oct 11 2019 at 16:03)</a>:</h4>
<p>try <code>hir-tree</code></p>



<a name="177921728"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/why%20%60hir%3A%3Aprint%60%20exists%3F/near/177921728" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/why.20.60hir.3A.3Aprint.60.20exists.3F.html#177921728">(Oct 11 2019 at 16:03)</a>:</h4>
<p>I think it is literally that</p>



<a name="177921755"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/why%20%60hir%3A%3Aprint%60%20exists%3F/near/177921755" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/why.20.60hir.3A.3Aprint.60.20exists.3F.html#177921755">(Oct 11 2019 at 16:03)</a>:</h4>
<p>I added it because (a) the current format hides stuff (grr) and (b) some contributors wanted it to better understand how HIR works</p>



<a name="177921760"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/why%20%60hir%3A%3Aprint%60%20exists%3F/near/177921760" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/why.20.60hir.3A.3Aprint.60.20exists.3F.html#177921760">(Oct 11 2019 at 16:03)</a>:</h4>
<p>this is another argument in favor of debug output (also for Ty)</p>



<a name="177921769"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/why%20%60hir%3A%3Aprint%60%20exists%3F/near/177921769" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/why.20.60hir.3A.3Aprint.60.20exists.3F.html#177921769">(Oct 11 2019 at 16:03)</a>:</h4>
<p>it exposes the data structures much more clearly</p>



<a name="177921787"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/why%20%60hir%3A%3Aprint%60%20exists%3F/near/177921787" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/why.20.60hir.3A.3Aprint.60.20exists.3F.html#177921787">(Oct 11 2019 at 16:03)</a>:</h4>
<p>my biggest frustration with the existing stuff is ICEs but also missing info</p>



<a name="177921800"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/why%20%60hir%3A%3Aprint%60%20exists%3F/near/177921800" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/why.20.60hir.3A.3Aprint.60.20exists.3F.html#177921800">(Oct 11 2019 at 16:04)</a>:</h4>
<p>often it tries to make things pretty but if things are not setup right that just kind of hides what I need to know</p>



<a name="177921852"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/why%20%60hir%3A%3Aprint%60%20exists%3F/near/177921852" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/why.20.60hir.3A.3Aprint.60.20exists.3F.html#177921852">(Oct 11 2019 at 16:04)</a>:</h4>
<p>otoh sometimes it's very nice that I don't have to decrypt :)</p>



<a name="177921929"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/why%20%60hir%3A%3Aprint%60%20exists%3F/near/177921929" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> centril <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/why.20.60hir.3A.3Aprint.60.20exists.3F.html#177921929">(Oct 11 2019 at 16:05)</a>:</h4>
<p><span class="user-mention" data-user-id="116009">@nikomatsakis</span> yeah; and we need to spend effort into updating HIR pretty when we change HIR also... and we can forget to include things</p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>